Hi @eltociear . Thanks for sending this over.

When I was checking this PR, I found a few other typos in the same README (I just activated the spell checker in vim; I'm sure many other spell checkers would do a great job too). It could be a good opportunity to fix all of them. Is this something you could contribute as part of the same PR?

See #560 for details.

Hi, @eltociear . I'm trying to see if we could complete this by the next release. Do you have time to work on the other typos as well?

Thanks!

Just following up on this, @eltociear . Let me know. Thanks!

@ivanperez-keera Thank you very much! Corrections have been added over spell check.

Change Manager:

@eltociear Thank you so much! Could you please make the following changes?

• Rebase your changes on top of the current master. We do this so that changes do not cross.

• Change the commit message for the current commit to:
  copilot-theorem: Fix multiple typos in README. Refs #560.

  Notice the plural and the Refs at the end with the issue number and the period.

• Add a second commit where you modify the changelog in copilot-theorem/CHANGELOG, adding an entry right under line 2 (https://github.com/Copilot-Language/copilot/blob/master/copilot-theorem/CHANGELOG#L2), and bumping the date of the first block from 2024-11-15 to 2024-12-20. Commit that separately, and that commit message should be:
  copilot-theorem: Document changes in CHANGELOG. Refs #560.

• Please fill in one of these documents https://github.com/Copilot-Language/copilot-discussion/tree/master/CLAs and send it to ivan.perezdominguez@nasa.gov. This is a NASA requirement, unfortunately. It's needed for all submissions.

I'd be glad to jump on a call to guide you through these changes. If that's preferable, please send me an email to ivan.perezdominguez@nasa.gov and we can find a time that works. It should take less than 30 minutes.

Happy Holidays!

Hi @eltociear . I'm following up on this. Let me know when you can. Thanks!